Ronan - PDFSEARCH.IO - Document Search Engine

Ronan
Results: 480

#	Item
191	A Rewrite System for Strongly Normalizable Terms Olivier Hermant1 and Ronan Saillard1,2 1 2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-16 03:50:46 Logic in computer science Proof theory Symbol Function Lambda calculus Combinatory logic Natural deduction Mathematics Mathematical logic Theoretical computer science
192	Towards explicit rewrite rules in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Fontainebleau, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-27 09:23:05 Mathematics Lambda calculus Type theory Dependently typed programming Unification Twelf Rewriting Calculus of constructions Normalization property Theoretical computer science Logic in computer science Applied mathematics
193	RenPar’20 / SympA’14 / CFSE 8 Saint-Malo, France, du 10 au 13 mai 2011 Polyèdres et Compilation François I RIGOIN1 & Mehdi A MINI1,2 & Corinne A NCOURT1 & Fabien C OELHO1 & Béatrice C REUSILLET2,3 & Ronan K ERYELL Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2011-04-14 03:46:59
194	RenPar’20 / SympA’14 / CFSE 8 Saint-Malo, France, du 10 au 13 mai 2011 Compilation et optimisation statique des communications hôte-accélérateur Mehdi A MINI1,2 , Fabien C OELHO2 , François I RIGOIN2 et Ronan K E Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2011-04-11 03:35:27
195	The Subject Reduction Property in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:50:21 Mathematics Lambda calculus Formal languages Symbol Rewriting Simply typed lambda calculus Combinatory logic Natural deduction Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
196	Compilation for Heterogeneous Computing: Automating Analyses, Transformations and Decisions Serge Guelton1 , François Irigoin2 , and Ronan Keryell3 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-04-12 10:01:16 Computer hardware Computer programming Parallel computing Video cards Nvidia CUDA Graphics processing unit OpenCL Kernel GPGPU Computing Graphics hardware
197	Dedukti : un vérificateur de preuves universel Ronan SAILLARD – MINES ParisTech – Centre de recherche en informatique Les systèmes informatiques sont de plus en plus présents dans nos vies. On les retrouve dans de Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2015-01-06 09:37:04
198	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
199	Dedukti : un v´ erificateur de preuves universel Ronan Saillard Centre de recherche en informatique - MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2015-01-06 09:20:09
200	PyPs, a programmable pass manager Serge Guelton1 , Mehdi Amini2,3 , Ronan Keryell3 , and Béatrice Creusillet3,4 1 2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-08-30 05:19:23 Compiler optimizations Procedural programming languages Parallel computing Compiler construction Array programming languages Automatic parallelization OpenMP Compiler Fortran Computing Software engineering Computer programming

UPDATE